#include<stdio.h>
void main(){
	int i=1;
	while(i<=10000)
    { 
		if(i%7==0)
		{ 
	 	  	printf("%d ",i);
}
		i++; 
}
}
